Oblog[1]
An object-oriented extension to Prolog. Small and portable.